21. Distributed computing and internet technology
Author: Manish Parashar, Sanjeev K. Aggarwal (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses,Electronic data processing-- Distributed processing, Congresses,Internet, Congresses
Classification :
QA75
.
5
.
D57
2008eb
22. Distributed intelligence systems: selected papers from the IFAC symposium, Arlington, Virginia, USA, 13-15 August 1991
Author: edited by A.H. Levis and H.E. Stephanou
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Expert systems )Computer science(,Distributed processing - congresses ، Electronic data processing
Classification :
QA
76
.
76
.
E95
I37
1991
23. Engineeering distributed objects
Author: / edited by Wolfang Emmerich and Stefan Tai
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Object oriented programming (Computer science)- Congresses,Electronic data processing- Distributed processing- Congresses
Classification :
QA76
.
64
.
E255
2001
24. #Engineering distributed objects
Author: #Wolfgang Emmerich, Stefan Tai )eds.(
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Object-oriented programming )Computer science(- Congresses ،Electronic data processing- Distributed processing- Congresses
Classification :
#
QA
،#.
E25
،#
2000
25. Engineering distributed objects : Second International Workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000 : revised paper
Author: Wolfgang Emmerich, Stefan Tai )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Object-oriented programming )Computer science(,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1999
26. Euro-Par 2015
Author: \ [Edited by] Sascha Hunold...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Parallel processing (Electronic computers) -- Congresses.,Parallel programming (Computer science) -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,پردازش موازی -- کنگره ها ,برنامه‌نویسی موازی -- کنگره ها ,داده‌پردازی -- پردازش توزبع شده -- کنگره ها
Classification :
QA
76
.
58
.
E92
2015
E-Book
,
27. Euro-Par 2015
Author: \ esper Larsson Träff, Sascha Hunold, Francesco Versaci (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Parallel processing (Electronic computers) -- Congresses,Parallel programming (Computer science) -- Congresses,Electronic data processing -- Distributed processing -- Congresses,پردازش موازی -- کنگره ها,برنامه‌نویسی موازی -- کنگره ها,داده‌پردازی -- پردازش توزبع شده -- کنگره ها
Classification :
QA
76
.
58
.
I58
E92
2015
E-Book
,
28. Expert systems and advanced data processing : proceedings of the Conference on Expert Systems Technology in the ADP Environment, held November 1- 3, 1987, in Washington, D.C., U.S.A.
Author: Conference on Expert Systems Technology in the ADP Environment )7891 : Washington, D.C.(
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Expert systems )Computer science(- Congresses,، Electronic data processing- Congresses
Classification :
QA
76
.
76
.
E95C665
1987
29. First International Enterprise Distributed Object Computing Workshop: October 24-26, 1997, Gold Coast, Australia
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Object-oriented methods )Computer science(,Congresses ، Electronic data processing-- Distributed processing
Classification :
QA
76
.
9
.
O35
.
I563
1997
30. Formal Techniques for Distributed Objects, Components, and Systems
Author: \ Susanne Graf , Mahesh Viswanathan (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.,Computer network protocols -- Congresses.,داده‌پردازی -- پردازش توزبع شده -- کنگره ها ,روش‌های صوری (کامپیوتر) -- کنگره ها ,پروتکل‌های شبکه کامپیوتری -- کنگره ها
Classification :
QA
76
.
9
.
D5F6
2015
E-Book
,
31. Formal methods for distributed system development :October 10-13, 2000, Pisa, Italy
Author: FORTE/PSTV 0002, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification ; edited by Tommaso Bolognesi, Diego Latella
Library: (Semnan)
Subject: Congresses ، Electronic data processing- Distributed processing,Congresses ، Formal methods )Computer science(
Classification :
QA
76
.
9
.
F67
32. Formal methods for open object-based distributed systems
Author: / Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Distributed processing--Congresses,Object-oriented programming (Computer science)--Congresses
Classification :
QA
,
76
.
9
,.
D5
,
I573
,
2003
33. Formal methods for open object-based distributed systems
Author: / Martin Steffen, Gianluigi Zavattaro (eds.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic data processing--Distributed processing--Congresses.,Object-oriented programming (Computer science)--Congresses.
Classification :
QA76
.
9
.
D5
I573
2005
34. Formal methods for open object-based distributed systems
Author: / Marcello M. Bonsangue, Einar Broch Johnsen (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Distributed processing--Congresses,Object-oriented programming (Computer science)--Congresses
Classification :
QA
,
76
.
9
,.
D5
,
I573
,
2007
35. Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
Author: Martin Steffen, Gianluigi Zavattaro )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic data processing -- Distributed processing,Congresses ، Object-oriented programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
3535
36. Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
Author: Elie Najm, Uwe Nestmann, Perdita Stevens )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic data processing -- Distributed processing,Congresses ، Object-oriented programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
2884
37. Formal methods for open object-based distributed systems. volume 2
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic data processing-- Distributed processing-- Congresses,، Object-oriented methods )Computer science(-- Congresses
Classification :
QA
76
.
9
.
D5
.
F66
1997
38. Formal techniques for distributed systems
Author: Dirk Beyer, Michele Boreale (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing-- Distributed processing, Congresses,Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
D5
39. Formal techniques for networked and distributed systems
Author: / edited by Myungchul Kim ... [et al.]
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Electronic data processing , Distributed processing , Congresses,Formal methods (Computer science) , Congresses,Electronic books. , local
Classification :
E-BOOK
40. Formal techniques for networked and distributed systems
Author: / Edited by Myungchul Kim ... [et al.]
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
Classification :
EB
,
QA76
.
9
F67I579
2001
